home *** CD-ROM | disk | FTP | other *** search
- -- Copyright (c) 1990 Regents of the University of California.
- -- All rights reserved.
- --
- -- This software was developed by John Self of the Arcadia project
- -- at the University of California, Irvine.
- --
- -- Redistribution and use in source and binary forms are permitted
- -- provided that the above copyright notice and this paragraph are
- -- duplicated in all such forms and that any documentation,
- -- advertising materials, and other materials related to such
- -- distribution and use acknowledge that the software was developed
- -- by the University of California, Irvine. The name of the
- -- University may not be used to endorse or promote products derived
- -- from this software without specific prior written permission.
- -- THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
- -- IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
- -- WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.
-
- -- TITLE NFA construction routines
- -- AUTHOR: John Self (UCI)
- -- DESCRIPTION builds the NFA.
- -- NOTES this file mirrors flex as closely as possible.
- -- $Header: /co/ua/self/arcadia/aflex/ada/src/RCS/nfaS.a,v 1.4 90/01/12 15:20:30 self Exp Locker: self $
-
- package NFA is
- procedure ADD_ACCEPT(MACH : in out INTEGER;
- ACCEPTING_NUMBER : in INTEGER);
- function COPYSINGL(SINGL, NUM : in INTEGER) return INTEGER;
- procedure DUMPNFA(STATE1 : in INTEGER);
- function DUPMACHINE(MACH : in INTEGER) return INTEGER;
- procedure FINISH_RULE(MACH : in INTEGER;
- VARIABLE_TRAIL_RULE : in BOOLEAN;
- HEADCNT, TRAILCNT : in INTEGER);
- function LINK_MACHINES(FIRST, LAST : in INTEGER) return INTEGER;
- procedure MARK_BEGINNING_AS_NORMAL(MACH : in INTEGER);
- function MKBRANCH(FIRST, SECOND : in INTEGER) return INTEGER;
- function MKCLOS(STATE : in INTEGER) return INTEGER;
- function MKOPT(MACH : in INTEGER) return INTEGER;
- function MKOR(FIRST, SECOND : in INTEGER) return INTEGER;
- function MKPOSCL(STATE : in INTEGER) return INTEGER;
- function MKREP(MACH, LB, UB : in INTEGER) return INTEGER;
- function MKSTATE(SYM : in INTEGER) return INTEGER;
- procedure MKXTION(STATEFROM, STATETO : in INTEGER);
- procedure NEW_RULE;
- end NFA;
-